Reasoning About Interaction Protocols for Web Service Composition

In this work, we face the problem of web service composition, arguing the importance of the inclusion, in a web service description, of the high-level communication protocol used by a service to interact with a client. The work is set in the same multi-agent research area from which DAMLS is derived: reasoning about actions and about the change produced by actions on the world. In this perspective web services are viewed as actions, either simple or complex, characterized by preconditions and effects. In our proposal, interaction is interpreted as the effect of communicative action execution, so that it can be reasoned about.